'a -> ('e -> 'b)
